Blar i Bergen Open Research Archive på forfatter "Stolz, Volker"
-
An Approach to Flexible Multilevel Modelling
Macias, Fernando; Rutle, Adrian; Stolz, Volker; Rodriguez-Echeverria, Roberto; Wolter, Uwe Egbert (Peer reviewed; Journal article, 2018-07-12)Multilevel modelling approaches tackle issues related to lack of flexibility and mixed levels of abstraction by providing features like deep modelling and linguistic extension. However, the lack of a clear consensus on ... -
I Can See Clearly Now: Clairvoyant Assertions for Deadlock Checking
Abusdal, Ole Jørgen; Din, Crystal Chang; Pun, Violet Ka I; Stolz, Volker (Journal article; Peer reviewed, 2022)Static analysers are traditionally used to check various correctness properties of software. In the face of refactorings that can have adverse effects on correctness, developers need to analyse the code after refactoring ...